; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = or i64 %"SymVar_0", 489433072
  %".5" = zext i8 9 to i64
  %".6" = and i64 %".5", 63
  %".7" = shl i64 %".4", %".6"
  %".8" = or i64 %"SymVar_0", 489433072
  %".9" = zext i8 55 to i64
  %".10" = and i64 %".9", 63
  %".11" = lshr i64 %".8", %".10"
  %".12" = or i64 %".7", %".11"
  %".13" = zext i8 13 to i64
  %".14" = and i64 %".13", 63
  %".15" = shl i64 %".12", %".14"
  %".16" = zext i8 51 to i64
  %".17" = and i64 %".16", 63
  %".18" = lshr i64 %".12", %".17"
  %".19" = or i64 %".15", %".18"
  %".20" = or i64 %"SymVar_0", %".19"
  %".21" = zext i8 1 to i64
  %".22" = and i64 %".21", 63
  %".23" = lshr i64 %".20", %".22"
  %".24" = and i64 %".23", 15
  %".25" = or i64 %".24", 1
  %".26" = trunc i64 %".25" to i32
  %".27" = zext i32 %".26" to i64
  %".28" = trunc i64 %".27" to i8
  %".29" = zext i8 %".28" to i64
  %".30" = and i64 %".29", 63
  %".31" = shl i64 %".12", %".30"
  %".32" = zext i8 1 to i64
  %".33" = and i64 %".32", 63
  %".34" = lshr i64 %".20", %".33"
  %".35" = and i64 %".34", 15
  %".36" = or i64 %".35", 1
  %".37" = sub i64 64, %".36"
  %".38" = trunc i64 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i64
  %".42" = and i64 %".41", 63
  %".43" = lshr i64 %".12", %".42"
  %".44" = or i64 %".31", %".43"
  %".45" = add i64 %"SymVar_0", 104868834
  %".46" = or i64 %"SymVar_0", 893657663
  %".47" = sext i64 %".46" to i128
  %".48" = sext i64 1004737041 to i128
  %".49" = sext i64 %".45" to i128
  %".50" = sext i64 %".20" to i128
  %".51" = mul i128 %".49", %".50"
  %".52" = trunc i128 %".51" to i64
  %".53" = sext i64 %".52" to i128
  %".54" = mul i128 %".48", %".53"
  %".55" = trunc i128 %".54" to i64
  %".56" = sext i64 %".55" to i128
  %".57" = mul i128 %".47", %".56"
  %".58" = trunc i128 %".57" to i64
  %".59" = and i64 %".58", 31
  %".60" = zext i8 4 to i64
  %".61" = and i64 %".60", 63
  %".62" = shl i64 %".59", %".61"
  %".63" = or i64 %".45", %".62"
  %".64" = zext i8 3 to i64
  %".65" = and i64 %".64", 63
  %".66" = lshr i64 %".58", %".65"
  %".67" = and i64 %".66", 7
  %".68" = or i64 %".67", 1
  %".69" = trunc i64 %".68" to i32
  %".70" = zext i32 %".69" to i64
  %".71" = trunc i64 %".70" to i8
  %".72" = zext i8 %".71" to i64
  %".73" = and i64 %".72", 63
  %".74" = lshr i64 %".63", %".73"
  %".75" = sub i64 %".44", %".74"
  %".76" = xor i64 %".74", %".75"
  %".77" = xor i64 %".44", %".76"
  %".78" = xor i64 %".44", %".75"
  %".79" = xor i64 %".44", %".74"
  %".80" = and i64 %".78", %".79"
  %".81" = xor i64 %".77", %".80"
  %".82" = lshr i64 %".81", 63
  %".83" = trunc i64 %".82" to i1
  %".84" = icmp eq i64 %".75", 0
  br i1 %".84", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".88" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".89" = or i1 %".83", %".88"
  %".90" = icmp eq i1 %".89", 1
  br i1 %".90", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".94" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".95" = zext i8 %".94" to i64
  %".96" = lshr i64 %".74", 8
  %".97" = trunc i64 %".96" to i56
  %".98" = zext i56 %".97" to i64
  %".99" = shl i64 %".98", 8
  %".100" = or i64 %".95", %".99"
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i32
  %".103" = zext i32 %".102" to i64
  %".104" = trunc i64 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i32
  %".107" = trunc i64 %".105" to i32
  %".108" = and i32 %".106", %".107"
  %".109" = icmp eq i32 %".108", 0
  br i1 %".109", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".113" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".114" = icmp eq i1 %".113", 1
  br i1 %".114", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".118" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".118", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".120" = or i64 %"SymVar_0", 489433072
  %".121" = zext i8 9 to i64
  %".122" = and i64 %".121", 63
  %".123" = shl i64 %".120", %".122"
  %".124" = or i64 %"SymVar_0", 489433072
  %".125" = zext i8 55 to i64
  %".126" = and i64 %".125", 63
  %".127" = lshr i64 %".124", %".126"
  %".128" = or i64 %".123", %".127"
  %".129" = zext i8 13 to i64
  %".130" = and i64 %".129", 63
  %".131" = shl i64 %".128", %".130"
  %".132" = zext i8 51 to i64
  %".133" = and i64 %".132", 63
  %".134" = lshr i64 %".128", %".133"
  %".135" = or i64 %".131", %".134"
  %".136" = or i64 %"SymVar_0", %".135"
  %".137" = and i64 %".136", 15
  %".138" = zext i8 2 to i64
  %".139" = and i64 %".138", 63
  %".140" = shl i64 %".137", %".139"
  %".141" = or i64 %".136", %".140"
  %".142" = zext i8 3 to i64
  %".143" = and i64 %".142", 63
  %".144" = lshr i64 %".141", %".143"
  %".145" = and i64 %".144", 15
  %".146" = or i64 %".145", 1
  %".147" = trunc i64 %".146" to i32
  %".148" = zext i32 %".147" to i64
  %".149" = trunc i64 %".148" to i8
  %".150" = zext i8 %".149" to i64
  %".151" = and i64 %".150", 63
  %".152" = shl i64 %".128", %".151"
  %".153" = zext i8 3 to i64
  %".154" = and i64 %".153", 63
  %".155" = lshr i64 %".141", %".154"
  %".156" = and i64 %".155", 15
  %".157" = or i64 %".156", 1
  %".158" = sub i64 64, %".157"
  %".159" = trunc i64 %".158" to i32
  %".160" = zext i32 %".159" to i64
  %".161" = trunc i64 %".160" to i8
  %".162" = zext i8 %".161" to i64
  %".163" = and i64 %".162", 63
  %".164" = lshr i64 %".128", %".163"
  %".165" = or i64 %".152", %".164"
  %".166" = sext i64 %".165" to i128
  %".167" = add i64 %"SymVar_0", 104868834
  %".168" = or i64 %"SymVar_0", 893657663
  %".169" = sext i64 %".168" to i128
  %".170" = sext i64 1004737041 to i128
  %".171" = sext i64 %".167" to i128
  %".172" = sext i64 %".136" to i128
  %".173" = mul i128 %".171", %".172"
  %".174" = trunc i128 %".173" to i64
  %".175" = sext i64 %".174" to i128
  %".176" = mul i128 %".170", %".175"
  %".177" = trunc i128 %".176" to i64
  %".178" = sext i64 %".177" to i128
  %".179" = mul i128 %".169", %".178"
  %".180" = trunc i128 %".179" to i64
  %".181" = and i64 %".180", 31
  %".182" = zext i8 4 to i64
  %".183" = and i64 %".182", 63
  %".184" = shl i64 %".181", %".183"
  %".185" = or i64 %".167", %".184"
  %".186" = sext i64 %".185" to i128
  %".187" = add i64 %".180", 916080512
  %".188" = sext i64 %".187" to i128
  %".189" = mul i128 %".186", %".188"
  %".190" = trunc i128 %".189" to i64
  %".191" = sext i64 %".190" to i128
  %".192" = mul i128 %".166", %".191"
  %".193" = trunc i128 %".192" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".195" = or i64 %"SymVar_0", 893657663
  %".196" = sext i64 %".195" to i128
  %".197" = sext i64 1004737041 to i128
  %".198" = add i64 %"SymVar_0", 104868834
  %".199" = sext i64 %".198" to i128
  %".200" = or i64 %"SymVar_0", 489433072
  %".201" = zext i8 9 to i64
  %".202" = and i64 %".201", 63
  %".203" = shl i64 %".200", %".202"
  %".204" = or i64 %"SymVar_0", 489433072
  %".205" = zext i8 55 to i64
  %".206" = and i64 %".205", 63
  %".207" = lshr i64 %".204", %".206"
  %".208" = or i64 %".203", %".207"
  %".209" = zext i8 13 to i64
  %".210" = and i64 %".209", 63
  %".211" = shl i64 %".208", %".210"
  %".212" = zext i8 51 to i64
  %".213" = and i64 %".212", 63
  %".214" = lshr i64 %".208", %".213"
  %".215" = or i64 %".211", %".214"
  %".216" = or i64 %"SymVar_0", %".215"
  %".217" = sext i64 %".216" to i128
  %".218" = mul i128 %".199", %".217"
  %".219" = trunc i128 %".218" to i64
  %".220" = sext i64 %".219" to i128
  %".221" = mul i128 %".197", %".220"
  %".222" = trunc i128 %".221" to i64
  %".223" = sext i64 %".222" to i128
  %".224" = mul i128 %".196", %".223"
  %".225" = trunc i128 %".224" to i64
  %".226" = zext i64 %".225" to i128
  %".227" = zext i64 0 to i128
  %".228" = shl i128 %".227", 64
  %".229" = or i128 %".226", %".228"
  %".230" = zext i64 8 to i128
  %".231" = udiv i128 %".229", %".230"
  %".232" = trunc i128 %".231" to i64
  %".233" = lshr i64 %".232", 32
  %".234" = trunc i64 %".233" to i8
  %".235" = zext i8 %".234" to i32
  %".236" = zext i32 %".235" to i64
  %".237" = trunc i64 %".236" to i8
  %".238" = zext i8 %".237" to i32
  %".239" = zext i32 %".238" to i64
  %".240" = trunc i64 %".239" to i8
  %".241" = zext i8 %".240" to i32
  %".242" = zext i32 %".241" to i64
  %".243" = trunc i64 %".242" to i8
  %".244" = zext i8 %".243" to i32
  %".245" = zext i32 %".244" to i64
  %".246" = trunc i64 %".245" to i8
  %".247" = zext i8 %".246" to i64
  %".248" = lshr i64 %".232", 8
  %".249" = trunc i64 %".248" to i8
  %".250" = zext i8 %".249" to i64
  %".251" = shl i64 %".250", 8
  %".252" = or i64 %".247", %".251"
  %".253" = lshr i64 %".232", 16
  %".254" = trunc i64 %".253" to i8
  %".255" = zext i8 %".254" to i64
  %".256" = shl i64 %".255", 16
  %".257" = or i64 %".252", %".256"
  %".258" = lshr i64 %".232", 24
  %".259" = trunc i64 %".258" to i8
  %".260" = zext i8 %".259" to i64
  %".261" = shl i64 %".260", 24
  %".262" = or i64 %".257", %".261"
  %".263" = trunc i64 %".232" to i8
  %".264" = zext i8 %".263" to i32
  %".265" = zext i32 %".264" to i64
  %".266" = trunc i64 %".265" to i8
  %".267" = zext i8 %".266" to i32
  %".268" = zext i32 %".267" to i64
  %".269" = trunc i64 %".268" to i8
  %".270" = zext i8 %".269" to i64
  %".271" = shl i64 %".270", 32
  %".272" = or i64 %".262", %".271"
  %".273" = lshr i64 %".232", 40
  %".274" = trunc i64 %".273" to i8
  %".275" = zext i8 %".274" to i64
  %".276" = shl i64 %".275", 40
  %".277" = or i64 %".272", %".276"
  %".278" = lshr i64 %".232", 48
  %".279" = trunc i64 %".278" to i8
  %".280" = zext i8 %".279" to i64
  %".281" = shl i64 %".280", 48
  %".282" = or i64 %".277", %".281"
  %".283" = lshr i64 %".232", 56
  %".284" = trunc i64 %".283" to i8
  %".285" = zext i8 %".284" to i64
  %".286" = shl i64 %".285", 56
  %".287" = or i64 %".282", %".286"
  %".288" = lshr i64 %".216", 56
  %".289" = trunc i64 %".288" to i8
  %".290" = zext i8 %".289" to i32
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i8
  %".293" = zext i8 %".292" to i32
  %".294" = zext i32 %".293" to i64
  %".295" = trunc i64 %".294" to i8
  %".296" = zext i8 %".295" to i32
  %".297" = zext i32 %".296" to i64
  %".298" = trunc i64 %".297" to i8
  %".299" = zext i8 %".298" to i32
  %".300" = zext i32 %".299" to i64
  %".301" = trunc i64 %".300" to i8
  %".302" = zext i8 %".301" to i64
  %".303" = lshr i64 %".216", 8
  %".304" = trunc i64 %".303" to i8
  %".305" = zext i8 %".304" to i64
  %".306" = shl i64 %".305", 8
  %".307" = or i64 %".302", %".306"
  %".308" = lshr i64 %".216", 40
  %".309" = trunc i64 %".308" to i8
  %".310" = zext i8 %".309" to i32
  %".311" = zext i32 %".310" to i64
  %".312" = trunc i64 %".311" to i8
  %".313" = zext i8 %".312" to i32
  %".314" = zext i32 %".313" to i64
  %".315" = trunc i64 %".314" to i8
  %".316" = zext i8 %".315" to i64
  %".317" = shl i64 %".316", 16
  %".318" = or i64 %".307", %".317"
  %".319" = lshr i64 %".216", 24
  %".320" = trunc i64 %".319" to i8
  %".321" = zext i8 %".320" to i64
  %".322" = shl i64 %".321", 24
  %".323" = or i64 %".318", %".322"
  %".324" = lshr i64 %".216", 32
  %".325" = trunc i64 %".324" to i8
  %".326" = zext i8 %".325" to i64
  %".327" = shl i64 %".326", 32
  %".328" = or i64 %".323", %".327"
  %".329" = lshr i64 %".216", 16
  %".330" = trunc i64 %".329" to i8
  %".331" = zext i8 %".330" to i32
  %".332" = zext i32 %".331" to i64
  %".333" = trunc i64 %".332" to i8
  %".334" = zext i8 %".333" to i32
  %".335" = zext i32 %".334" to i64
  %".336" = trunc i64 %".335" to i8
  %".337" = zext i8 %".336" to i32
  %".338" = zext i32 %".337" to i64
  %".339" = trunc i64 %".338" to i8
  %".340" = zext i8 %".339" to i32
  %".341" = zext i32 %".340" to i64
  %".342" = trunc i64 %".341" to i8
  %".343" = zext i8 %".342" to i64
  %".344" = shl i64 %".343", 40
  %".345" = or i64 %".328", %".344"
  %".346" = lshr i64 %".216", 48
  %".347" = trunc i64 %".346" to i8
  %".348" = zext i8 %".347" to i64
  %".349" = shl i64 %".348", 48
  %".350" = or i64 %".345", %".349"
  %".351" = trunc i64 %".216" to i8
  %".352" = zext i8 %".351" to i32
  %".353" = zext i32 %".352" to i64
  %".354" = trunc i64 %".353" to i8
  %".355" = zext i8 %".354" to i32
  %".356" = zext i32 %".355" to i64
  %".357" = trunc i64 %".356" to i8
  %".358" = zext i8 %".357" to i64
  %".359" = shl i64 %".358", 56
  %".360" = or i64 %".350", %".359"
  %".361" = zext i8 3 to i64
  %".362" = and i64 %".361", 63
  %".363" = lshr i64 %".360", %".362"
  %".364" = and i64 %".363", 15
  %".365" = or i64 %".364", 1
  %".366" = trunc i64 %".365" to i32
  %".367" = zext i32 %".366" to i64
  %".368" = trunc i64 %".367" to i8
  %".369" = zext i8 %".368" to i64
  %".370" = and i64 %".369", 63
  %".371" = shl i64 %".287", %".370"
  %".372" = zext i8 %".246" to i64
  %".373" = zext i8 %".249" to i64
  %".374" = shl i64 %".373", 8
  %".375" = or i64 %".372", %".374"
  %".376" = zext i8 %".254" to i64
  %".377" = shl i64 %".376", 16
  %".378" = or i64 %".375", %".377"
  %".379" = zext i8 %".259" to i64
  %".380" = shl i64 %".379", 24
  %".381" = or i64 %".378", %".380"
  %".382" = zext i8 %".269" to i64
  %".383" = shl i64 %".382", 32
  %".384" = or i64 %".381", %".383"
  %".385" = zext i8 %".274" to i64
  %".386" = shl i64 %".385", 40
  %".387" = or i64 %".384", %".386"
  %".388" = zext i8 %".279" to i64
  %".389" = shl i64 %".388", 48
  %".390" = or i64 %".387", %".389"
  %".391" = zext i8 %".284" to i64
  %".392" = shl i64 %".391", 56
  %".393" = or i64 %".390", %".392"
  %".394" = zext i8 %".301" to i64
  %".395" = zext i8 %".304" to i64
  %".396" = shl i64 %".395", 8
  %".397" = or i64 %".394", %".396"
  %".398" = zext i8 %".315" to i64
  %".399" = shl i64 %".398", 16
  %".400" = or i64 %".397", %".399"
  %".401" = zext i8 %".320" to i64
  %".402" = shl i64 %".401", 24
  %".403" = or i64 %".400", %".402"
  %".404" = zext i8 %".325" to i64
  %".405" = shl i64 %".404", 32
  %".406" = or i64 %".403", %".405"
  %".407" = zext i8 %".342" to i64
  %".408" = shl i64 %".407", 40
  %".409" = or i64 %".406", %".408"
  %".410" = zext i8 %".347" to i64
  %".411" = shl i64 %".410", 48
  %".412" = or i64 %".409", %".411"
  %".413" = zext i8 %".357" to i64
  %".414" = shl i64 %".413", 56
  %".415" = or i64 %".412", %".414"
  %".416" = zext i8 3 to i64
  %".417" = and i64 %".416", 63
  %".418" = lshr i64 %".415", %".417"
  %".419" = and i64 %".418", 15
  %".420" = or i64 %".419", 1
  %".421" = sub i64 64, %".420"
  %".422" = trunc i64 %".421" to i32
  %".423" = zext i32 %".422" to i64
  %".424" = trunc i64 %".423" to i8
  %".425" = zext i8 %".424" to i64
  %".426" = and i64 %".425", 63
  %".427" = lshr i64 %".393", %".426"
  %".428" = or i64 %".371", %".427"
  %".429" = sext i64 %".428" to i128
  %".430" = and i64 %".225", 31
  %".431" = zext i8 4 to i64
  %".432" = and i64 %".431", 63
  %".433" = shl i64 %".430", %".432"
  %".434" = or i64 %".198", %".433"
  %".435" = sext i64 %".434" to i128
  %".436" = add i64 %".225", 916080512
  %".437" = sext i64 %".436" to i128
  %".438" = mul i128 %".435", %".437"
  %".439" = trunc i128 %".438" to i64
  %".440" = sext i64 %".439" to i128
  %".441" = mul i128 %".429", %".440"
  %".442" = trunc i128 %".441" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".444" = phi i64 [%".193", %".3.endif.endif.endif.endif.if"], [%".442", %".3.endif.endif.endif.endif.else"]
  ret i64 %".444"
}
